Per Erik Rutger Martin-Löf (* 8. Mai 1942) ist ein schwedischer mathematischer Logiker und Philosoph. Martin-Löf war 1964-1965 an der Lomonossow-Universität Student von Andrei Kolmogorow, der auch seine Dissertation an der Universität Stockholm 1970 betreute (Notes on constructive mathematics). Zuvor war er 1968/69 schon Assistant Professor an...